<?php

namespace V4;
class UserPushId extends \V3\UserPushId {}